Nuprl Definition : sends-bound 0,22
sends-bound(p;e;l) == 1of(p(e,l)) 
latex

Definitions1of(t)
FDL editor aliasessends-bound

origin